$\forall$${\it ll}_{1}$,${\it ll}_{2}$:(top List List).
\\[0ex]sqequal(concat(append(${\it ll}_{1}$; ${\it ll}_{2}$)); append(concat(${\it ll}_{1}$); concat(${\it ll}_{2}$)))